Bob is big. Bob is blue. Bob is cold. Bob is green. Charlie is green. Charlie is red. Charlie is rough. Charlie is young. Fiona is blue. Fiona is cold. Fiona is red. Fiona is rough. Harry is blue. Harry is cold. Harry is green. Harry is red. If someone is big and green then they are young. If someone is blue then they are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big and green then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Harry is red.
True
1
proof
[(triple16)]
("Harry" "is" "red" "+")
triple16
Charlie is not rough.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "rough" "-")
triple7
Fiona is big.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "big" "+")
((triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple9) -> rule2))]
("Fiona" "is" "big" "-")
((triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is young.
True
4
proof
[(((((triple13) -> rule2) triple15) -> rule1))]
("Harry" "is" "young" "+")
((((triple13) -> (rule2 % int2)) triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not young.
False
4
inv-proof
[(((((triple13) -> rule2) triple15) -> rule1))]
("Harry" "is" "young" "-")
((((triple13) -> (rule2 % int2)) triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple1 OR ((triple2) -> rule2))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Charlie is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is red.[(triple16)] @1: Bob is young.[(((triple1 triple4) -> rule1) OR ((((triple2) -> rule2) triple4) -> rule1))] Fiona is big.[(((triple9) -> rule2))] Harry is big.[(((triple13) -> rule2))] @2: Harry is young.[(((((triple13) -> rule2) triple15) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple16
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple13) -> (rule2 % int2)) triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2