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