Anne is blue. Anne is nice. Anne is rough. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is smart. Gary is cold. Gary is rough. Gary is round. Harry is blue. Harry is cold. Harry is rough. Harry is round. Harry is smart. Round things are smart. Round, rough things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Round things are smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Round, rough things are blue.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Fiona is nice.
True
1
proof
[(triple6)]
("Fiona" "is" "nice" "+")
triple6
Harry is not smart.
False
1
inv-proof
[(triple15 OR ((triple14) -> rule1))]
("Harry" "is" "smart" "-")
triple15
((triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is smart.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "smart" "-")
((triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is smart.[(triple7)] Gary is cold.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is blue.[(triple11 OR ((triple14 triple13) -> rule2))] Harry is cold.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple14) -> rule1))] @1: Gary is blue.[(((triple10 triple9) -> rule2))] Gary is smart.[(((triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple14 triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1