Bob is nice. Bob is rough. Bob is smart. Charlie is big. Charlie is blue. Fiona is big. Fiona is blue. Fiona is nice. Fiona is rough. Harry is blue. Harry is smart. Harry is white. All rough things are young. If Fiona is young then Fiona is white. If Harry is rough then Harry is big. If something is smart and big then it is young. If something is nice then it is young. If something is rough and white then it is young. If Charlie is blue and Charlie is young then Charlie is big. If Charlie is nice and Charlie is smart then Charlie is white.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If Fiona is young then Fiona is white.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "white" "+"))
If Harry is rough then Harry is big.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "big" "+"))
If something is smart and big then it is young.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is rough and white then it is young.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If Charlie is blue and Charlie is young then Charlie is big.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "big" "+"))
If Charlie is nice and Charlie is smart then Charlie is white.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "white" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Bob is not smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "-")
triple3
Fiona is young.
True
2
proof
[(((triple8) -> rule5) OR ((triple9) -> rule1))]
("Fiona" "is" "young" "+")
((triple8) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple1) -> rule5) OR ((triple2) -> rule1))]
("Bob" "is" "young" "-")
((triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is white.
True
3
proof
[(((((triple8) -> rule5)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("Fiona" "is" "white" "+")
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("Fiona" "is" "white" "-")
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "white" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Harry is blue.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Bob is young.[(((triple1) -> rule5) OR ((triple2) -> rule1))] Fiona is young.[(((triple8) -> rule5) OR ((triple9) -> rule1))] @2: Fiona is white.[(((((triple8) -> rule5)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple8) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2